perm filename GOALS[S86,JMC] blob sn#819579 filedate 1986-06-19 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	goals[s86,jmc]		Goals for non-monotonic reasoning
C00003 ENDMK
CāŠ—;
goals[s86,jmc]		Goals for non-monotonic reasoning

1. We should be able to prove that normally the strategy of
taking one block of the tower off the top at a time leads
to the dismantling of the tower.  Presumably this follows
inductively from the fact that taking a single block off
the tower normally succeeds.